$\forall$$R$:Realizer. R{-}Feasible($R$) $\Rightarrow$ R{-}base{-}ma($R$) $\in$ MsgA